Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
541	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:55:57 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
542	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-06-27 06:21:18 Theory of computation Computer science Computable function Entscheidungsproblem Algorithm Primitive recursive function Mathematical logic Turing machine Computability Computability theory Mathematics Theoretical computer science
543	PDF Document Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
544	PDF Document Add to Reading List Source URL: www.nue.riec.tohoku.ac.jp Language: English - Date: 2008-11-04 01:37:22 Logic in computer science Formal languages Lambda calculus Mathematical logic Rewriting Computability theory Combinatory logic Normal form Overlap Theoretical computer science Mathematics Computer science
545	PDF Document Add to Reading List Source URL: cl-informatik.uibk.ac.at Language: English - Date: 2007-08-10 15:44:11 Formal languages Computer science Logic in computer science Computability theory Mathematical logic Rewriting Primitive recursive function Fold Abstract rewriting machine Theoretical computer science Recursion Mathematics
546	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:49:39 Mathematical logic Model theory Metalogic Proof theory Henri Lebesgue Computability theory Lebesgue integration Integral Set theory Logic Mathematics Mathematical analysis
547	PDF Document Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2013-07-12 23:59:22 Computer science Academia Turing degree Recursively enumerable set Mathematical logic Michael Fellows Logic Model theory John Lane Bell Computability theory Theory of computation Mathematics
548	PDF Document Add to Reading List Source URL: books.nap.edu Language: English - Date: 2000-08-02 12:13:45 Mathematical logic Theoretical computer science Computable function Alfred Tarski Raphael M. Robinson Primitive recursive function Function Julia Robinson Numbering Computability theory Mathematics Theory of computation
549	PDF Document Add to Reading List Source URL: eccc.hpi-web.de Language: English - Date: 2010-01-04 06:24:49 Mathematical logic Mathematics Computable function Computable number Computable analysis Computable real function Function Utm theorem Church–Turing thesis Computability theory Theoretical computer science Theory of computation
550	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-12-13 20:01:59 Mathematical constructivism Quantification Functions and mappings Computability theory Intuitionism Universal quantification Constructivism Interpretation Intuitionistic logic Mathematical logic Logic Mathematics

UPDATE